منابع مشابه
Why Believe That There Is a God?
This article presents an argument for the existence of God, showing that the evident phenomena are best explained by supposing that a God causes them. The argument is based on the inductive force of four very evident general phenomena: that there is a physical Universe; that it is governed by very simple natural laws; that those laws are such as to lead to the existence of human bodies; and tha...
متن کاملWhy Monsanto’s attempt to “disappear” tumours by using historical control data is invalid
The only scientifically valid control for such experiments is the concurrent control, not historical control data. This is because scientific experiments are designed to reduce variables to a minimum. The concurrent control group achieves this because it consists of animals treated identically to the experimental group, except that they are not exposed to the substance under study. Thus, the on...
متن کاملWhy Local Search Excels in Expression Simplification
Simplifying expressions is important to make numerical integration of large expressions from High Energy Physics tractable. To this end, Horner’s method can be used. Finding suitable Horner schemes is assumed to be hard, due to the lack of local heuristics. Recently, MCTS was reported to be able to find near optimal schemes. However, several parameters had to be fine-tuned manually. In this wor...
متن کاملImmutably Answering Why-Not Questions for Equivalent Conjunctive Queries
Answering Why-Not questions consists in explaining to developers of complex data transformations or manipulations why their data transformation did not produce some specific results, although they expected them to do so. Different types of explanations that serve as Why-Not answers have been proposed in the past and are either based on the available data, the query tree, or both. Solutions (par...
متن کاملNominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend!
Description Logics are knowledge representation formalisms that provide, for example, the logical underpinning of the W3C OWL standards. Conjunctive queries, the standard query language in databases, have recently gained significant attention as an expressive formalism for querying Description Logic knowledge bases. Several different techniques for deciding conjunctive query entailment are avai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1991
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635749